AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages
نویسندگان
چکیده
The GENGED concepts and environment allow for the visual definition of visual languages (VLs) and to generate VL-specific visual environments for editing and simulation. The editing features capture either syntax-directed editing and/or free-hand editing. In the latter case, a user-defined diagram has to be analyzed in order to check the correctness of the diagram. In addition, behavioral diagrams can be simulated, i.e. the behavior of situations specified by diagrams can be validated. The specification and analysis of VLs by GENGED is based on algebraic graph transformation concepts realized by the AGG system. In this article we give a brief survey on AGG and GENGED.
منابع مشابه
Formal Relationship between Petri Nets and Graph Grammars as Basis for Animation Views in GenGED
Specification techniques like Petri nets allow for the formal description and analysis of systems. Although tool support exists for many different Petri net classes and tasks, a domain-specific animation of net behavior, however, is not yet supported by many Petri net tools. In this contribution, we present a formal approach for the generic specification of several Petri net classes including a...
متن کاملConceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages
This contribution presents a conceptual model of GENGED, an editor supporting the visual definition of visual languages (VLs). As usual a VL consists of an alphabet and a grammar. Given a grammar of a specific VL GENGED generates a syntax-directed graphical editor allowing the manipulation of visual sentences over this language. The conceptual framework of GENGED is based on algebraic graph tra...
متن کاملGenGEd: A Development Environment for Visual Languages
Within this contribution GENGED is presented, a development environment for visual languages. GENGED offers a hybrid language for defining the syntax of visual languages consisting of an alphabet and a grammar. So far, the main components of GENGED are given by an alphabet and a grammar editor. The syntax description is the input of a diagram editor allowing the syntax-directed manipulation of ...
متن کاملVisual Design of Software Architecture and Evolution based on Graph Transformation
The paper suggests a two-level approach to describe visually software architectures and their evolution. One visual modeling formalism is used to describe the architecture level while another is used to model the behavior of each component (component specification level). Graph transformation is applied for both levels to describe the modeling formalisms and the model evolution in a formal way....
متن کاملGENGED: visual definition of visual languages: based on algebraic graph transformation
Interestingly, genged visual definition of visual languages based on algebraic graph transformation that you really wait for now is coming. It's significant to wait for the representative and beneficial books to read. Every book that is provided in better way and utterance will be expected by many peoples. Even you are a good reader or not, feeling to read this book will always appear when you ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 72 شماره
صفحات -
تاریخ انتشار 2002